Applying Triple Graph Grammars For Pattern-Based Workflow Model Transformations.
نویسندگان
چکیده
منابع مشابه
Applying Triple Graph Grammars For Pattern-Based Workflow Model Transformations
Workflow and business process modeling approaches have become essential for designing service collaborations when developing SOA-based systems. To derive actual executable business process descriptions from the high-level workflow models, model transformation techniques can be used. Various service composition and business process languages are available for describing the executable processes....
متن کاملFormal analysis of model transformations based on triple graph grammars
F R A N K H E R M A N N1,2,†, H A R T M U T E H R I G1,†, U L R I K E G O L A S A N D F E R N A N D O O R E J A S4,‡ 1 [frank,ehrig]@cs.tu-berlin.de, Institut für Softwaretechnik und Theoretische Informatik, Technische Universität Berlin, Germany 2 Interdisciplinary Centre for Security, Reliability and Trust, University of Luxembourg 3 [email protected], Konrad-Zuse-Zentrum für Informationstechnik B...
متن کاملA Graphical Specification of Model Transformations with Triple Graph Grammars
Models and model transformations are the core concepts of OMG’s MDA approach. Within this approach, most models are derived from the MOF and have a graph-based nature. In contrast, most of the current model transformations are specified textually. To enable a graphical specification of model transformation rules, this paper proposes to use triple graph grammars as declarative specification form...
متن کاملTowards Domain Completeness for Model Transformations Based on Triple Graph Grammars
The analysis of model transformations is a challenging research area within model driven engineering. Triple graph grammars (TGGs) have been applied in various transformation scenarios and their formal foundation has been a vital ground for general results concerning notions of correctness and completeness. This paper addresses existing gaps between practical scenarios and the formal results of...
متن کاملFormal Analysis of Functional Behaviour for Model Transformations Based on Triple Graph Grammars
Triple Graph Grammars (TGGs) are a well-established concept for the specification of model transformations. In previous work we have formalized and analyzed already crucial properties of model transformations like termination, correctness and completeness, but functional behaviour is missing up to now. In order to close this gap we generate forward translation rules, which extend standard forwa...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Journal of Object Technology
سال: 2007
ISSN: 1660-1769
DOI: 10.5381/jot.2007.6.9.a13